Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat(gwyneth): add first simple tests for proposer/prover #17

Merged
merged 8 commits into from
Jul 5, 2024

Conversation

adaki2004
Copy link

@adaki2004 adaki2004 commented Jul 4, 2024

todos:

  • some proposeBlock() tests (without ISequencerRegistry tests so fer)
  • proveBlock()
  • verify
  • some obvious failing edge cases

@adaki2004 adaki2004 requested a review from Brechtpd July 4, 2024 10:06
@adaki2004
Copy link
Author

@Brechtpd proposeBlock() works with X amount of iteration but combined with proveBlock() currently it fails. (Can debug later why), but i do have one question.

Can you check file BasedOperator.sol and line 149, and my comment in the code ? I'm not sure in that logic, but i also know the original also not perfect, because it will revert with block already proven, so somehow we need to find a way if a block was proven before or not, right ?

Thanks !

(if you wanna run, just run : forge test --match-test test_L1_proposeBlock -vvvv, but currently it has some debug prints)

packages/protocol/contracts/L1/BasedOperator.sol Outdated Show resolved Hide resolved
packages/protocol/contracts/L1/TaikoL1.sol Outdated Show resolved Hide resolved
packages/protocol/contracts/L1/TaikoL1.sol Outdated Show resolved Hide resolved
@adaki2004 adaki2004 requested a review from Brechtpd July 5, 2024 08:44
@adaki2004 adaki2004 changed the title First simple tests feat(gwyneth): add first simple tests for proposer/prover Jul 5, 2024
@Brechtpd Brechtpd merged commit 9c75561 into gwyneth_preconf_mods Jul 5, 2024
17 of 25 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants